Jazz: A Tool for Demand-Driven Structural Testing
نویسندگان
چکیده
Software testing to produce reliable and robust software has become vitally important. Testing is a process by which quality can be assured through the collection of information about software. While testing can improve software quality, current tools typically are inflexible and have high overheads, making it a challenge to test large projects. We describe a new scalable and flexible tool, called Jazz, that uses a demand-driven structural testing approach. Jazz has a low overhead of only 17.6% for branch testing.
منابع مشابه
World Energy Outlook : a Comparative Study
Differen world energy outlook with different horizons (2035, 2040 and 2050) show that demand for primary energy will increase. The energymix in 2050 will mainly be fossil based although the share of theses fuels will decrease. Accorging to some forecasts, energy consumption will increase more than 50 percent during next 30 years which most of this growth belongs to non-OECD countries. In supply...
متن کاملEFFICIENT BRANCH AND NODE TESTING by
Software testing evaluates the correctness of a program's implementation through a test suite. The quality of a test case or suite is assessed with a coverage metric indicating what percentage of a program's structure was exercised (covered) during execution. Coverage of every execution path is impossible due to infeasible paths and loops that result in an exponential or infinite number of path...
متن کاملA Grammatical Approach to Automatic Improvisation
We describe an approach to the automatic generation of convincing jazz melodies using probabilistic grammars. Uses of this approach include a software tool for assisting a soloist in the creation of a jazz solo over chord progressions. The method also shows promise as a means of automatically improvising complete solos in real-time. Our approach has been implemented and demonstrated in a free s...
متن کاملHead-Driven Simulation of Water Supply Networks
Up to now most of the existing water supply network analyses have been based on demand-driven simulation models. These models assume that nodal outflows are fixed and are always available. However, this method of simulation neglects the pressure-dependent nature of demand that is characterized by changes in actual nodal outflows particularly during critical events like major mechanical or hydra...
متن کاملNusselt Number Estimation along a Wavy Wall in an Inclined Lid-driven Cavity using Adaptive Neuro-Fuzzy Inference System (ANFIS)
In this study, an adaptive neuro-fuzzy inference system (ANFIS) was developed to determine the Nusselt number (Nu) along a wavy wall in a lid-driven cavity under mixed convection regime. Firstly, the main data set of input/output vectors for training, checking and testing of the ANFIS was prepared based on the numerical results of the lattice Boltzmann method (LBM). Then, the ANFIS was develope...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
عنوان ژورنال:
دوره شماره
صفحات -
تاریخ انتشار 2005